Temporal dependency-based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems
نویسندگان
چکیده
منابع مشابه
Activity Completion Duration Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems
In grid workflow systems, to verify temporal constraints efficiently at run-time execution stage, some checkpoints are often selected so that we only need to conduct temporal verification at such checkpoints rather than at all activity points. However, existing typical checkpoint selection strategies often ignore some necessary checkpoints and select some unnecessary ones. This would eventually...
متن کاملTemporal Dependency for Dynamic Verification of Temporal Constraints in Workflow Systems
The current workflow management systems do not take into consideration the mutual dependency between temporal constraints, which is affecting the effectiveness and efficiency of the temporal verification. In this paper, we investigate this dependency and its effects on the verification of temporal constraints. Furthermore, based on these analyses on the temporal dependency, we develop some new ...
متن کاملTemporal Dependency for Dynamic Verification of Fixed-Date Constraints in Grid Workflow Systems
Grid workflow systems aim to support large-scale complex e-science and e-business processes. Due to the complexity of these kinds of processes, to control the execution of them in terms of time in the grid workflow execution environment, multiple fixed-date temporal constraints often need to be set simultaneously. Hence the dependency problem between them must be considered and emphasised, whic...
متن کاملMultiple states based temporal consistency for dynamic verification of fixed-time constraints in Grid workflow systems
To verify fixed-time constraints in Grid workflow systems, consistency and inconsistency conditions have been defined in conventional verification work. However, with a view of the run-time uncertainty of activity completion duration, we argue that, although the conventional consistency condition is feasible, the conventional inconsistency condition is too restrictive and covers several differe...
متن کاملAn Activity Completion Duration based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems
In grid workflow systems, to verify fixed-time constraints efficiently at the run-time execution stage, some checkpoints are often selected so that we only need to conduct the fixed-time constraint verification at such checkpoints rather than at all activity points. However, the existing typical checkpoint selection strategies are inefficient and/or ineffective because they may incur some unnec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Software Engineering and Methodology
سال: 2011
ISSN: 1049-331X,1557-7392
DOI: 10.1145/2000791.2000793